vmap -c
vlib axi_bfms
vmap axi_bfms
vlog -novopt -work axi_bfms \
	+incdir+../cdn_axi_bfm_vip/hdl \
	../cdn_axi_bfm_vip/hdl/cdn_axi*_bfm.vp

vlib work
vlog ../../rtl/axis_player.v
vlog ../../rtl/axis_recorder.v
vlog ../../rtl/AxiLite2RP.v
vlog ../../rtl/exerciser_module.v
vlog ../../rtl/TraceBuffer.v
vlog ../../ipcore_dir/axi_interconnect_v1_05_a_0_sim.v
vlog ../../ipcore_dir/blk_mem_gen_v6_3.v
vlog -work work ../../ipcore_dir/axi_interconnect_v1_05_a_0/hdl/verilog/*.v
vlog wrappers.sv
vlog -sv -dpiheader dpidef.h tb.sv
vlog kernel_space.c user_space.c
vlog $env(XILINX)/verilog/src/glbl.v

vsim \
  -novopt \
	-pli ../cdn_axi_bfm_vip/vpi_lib/ntopt/libxil_vsim.dll \
	-L axi_bfms -L secureip -L unisims_ver -L unimacro_ver -L xilinxcorelib_ver \
  work.tb work.glbl -c

view wave
do wave.do
run -all